COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	ET ?T↔
C00003 ENDMK
C⊗;
ET ?T↔
αβXparen ⊂↔
αXdef ∩↔
α(α)αβ↓↔
αXdef %↔
αβXf caseαβ\⊂c↔αβ↓↔|

ET ?T↔
αXdef ~↔
αβXf beginαβ\⊂↔αβ↓↔
αXdef _↔
αβXf endαβ\⊃↔αβ↓↔|

ET ?T↔
αβXpare ⊂↔
αXdef ∩↔
α(α)αβ↓↔
αXdef %↔
αβXf caseαβ\⊂c↔αβ↓↔
αXdef ~↔
αβXf beginαβ\⊂↔αβ↓↔
αXdef _↔
αβXf endαβ\⊃↔αβ↓↔|